Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
521	A Formal Approach to Vague Expressions with Indexicals Liesbeth Martens and Giuseppe Primiero? Centre for Logic and Philosophy of Science, Ghent University, Belgium {Liesbeth.Martens, Giuseppe.Primiero}@UGent.be Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-11-22 11:12:55 Semantics Fuzzy logic Propositional calculus Philosophy of language Non-classical logic Indexicality Vagueness Sorites paradox Entailment Logic Mathematical logic Mathematics
522	Tobias Nipkow Gerwin Klein C Add to Reading List Source URL: concrete-semantics.org Language: English - Date: 2015-04-08 16:10:15 Logic in computer science Programming language semantics Formal sciences Formal languages Formal methods Denotational semantics Semantics of programming languages Isabelle Mathematical proof Theoretical computer science Mathematics Logic
523	Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, Dawn Song Carnegie Mellon U Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software testing Predicate transformer semantics Program logic Fuzz testing X Window System Function KeY Errors and residuals in statistics Network Time Protocol Statistics Software Mathematics
524	A modal language for contextual computations Giuseppe Primiero FWO - Research Foundation Flanders Centre for Logic and Philosophy of Science University of Ghent (Belgium) June 27, 2012 Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-06-27 07:55:59 Model theory Proof theory Propositional calculus Natural deduction Entailment Modal logic Interpretation Valuation Kripke semantics Logic Philosophical logic Deduction
525	Formal Verification of a C Compiler Front-end Sandrine Blazy, Zaynah Dargaye, and Xavier Leroy INRIA Rocquencourt[removed]Le Chesnay, France {Sandrine.Blazy, Zaynah.Dargaye, Xavier.Leroy}@inria.fr Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-05-16 04:47:55 Procedural programming languages Data types C++ Logic in computer science Programming language semantics Pointer C ALGOL 68 Monad Software engineering Computing Programming language theory
526	A Non-Superlative Semantics for Ordinals and the Syntax of Comparison Classes Lisa Bylinina (Meertens Instituut), Natalia Ivlieva (Institut Jean Nicod), Alexander Podobryaev (Higher School of Economics), and Yasutada Sud Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:11:58 Logic Constructible universe De dicto and de re Linguistics Abstraction Ordinal number Superlative Monarchical ordinal
527	Tobias Nipkow, Gerwin Klein Concrete Semantics with Isabelle/HOL April 8, 2015 Add to Reading List Source URL: concrete-semantics.org Language: English - Date: 2015-04-08 16:10:05 Logic in computer science Programming language semantics Formal sciences Formal languages Formal methods Denotational semantics Semantics of programming languages Isabelle Mathematical proof Theoretical computer science Mathematics Logic
528	Mechanized Verification of CPS Transformations Zaynah Dargaye and Xavier Leroy INRIA Paris-Rocquencourt B.P. 105, 78153 Le Chesnay, France [removed], [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-07-30 10:00:27 Mathematical logic Models of computation Logic in computer science Computability theory Formal methods Continuation-passing style Denotational semantics De Bruijn notation De Bruijn index Theoretical computer science Lambda calculus Mathematics
529	How to transform UML neg into a useful construct Ragnhild Kobro Runde1 Øystein Haugen1 Ketil Stølen1,2 1 Department of Informatics, University of Oslo 2 SINTEF ICT {ragnhilk,oysteinh}@iﬁ.uio.no, ketil.stolen@sintef.n Add to Reading List Source URL: www.nik.no Language: English - Date: 2005-12-08 10:05:47 Propositional calculus Mathematics Grammar Negation Semantics FO Negative Logic Mathematical logic Boolean algebra
530	Common Logic A Framework for a Family Of Logic-Based Languages John F. Sowa 19 May 2008 Add to Reading List Source URL: cl.tamu.edu Language: English - Date: 2008-10-30 13:57:13 Diagrams Philosophy of science Philosophical logic Mathematical logic Conceptual graph Common logic First-order logic Charles Sanders Peirce Semantics Logic Science Philosophy

UPDATE